Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 10
1:
(unstack d a)
 
2:
(put-down d)
 
3:
(unstack a c)
 
4:
(put-down a)
 
5:
(unstack c b)
 
6:
(put-down c)
 
7:
(pick-up d)
 
8:
(stack d b)
 
9:
(pick-up a)
 
10:
(stack a d)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (on d a)
Deleting (clear d)
Deleting (handempty)
Adding (holding d)
Adding (clear a)

Checking next happening (time 2)
Deleting (holding d)
Adding (clear d)
Adding (handempty)
Adding (ontable d)

Checking next happening (time 3)
Deleting (on a c)
Deleting (clear a)
Deleting (handempty)
Adding (holding a)
Adding (clear c)

Checking next happening (time 4)
Deleting (holding a)
Adding (clear a)
Adding (handempty)
Adding (ontable a)

Checking next happening (time 5)
Deleting (on c b)
Deleting (clear c)
Deleting (handempty)
Adding (holding c)
Adding (clear b)

Checking next happening (time 6)
Deleting (holding c)
Adding (clear c)
Adding (handempty)
Adding (ontable c)

Checking next happening (time 7)
Deleting (clear d)
Deleting (ontable d)
Deleting (handempty)
Adding (holding d)

Checking next happening (time 8)
Deleting (clear b)
Deleting (holding d)
Adding (handempty)
Adding (clear d)
Adding (on d b)

Checking next happening (time 9)
Deleting (clear a)
Deleting (ontable a)
Deleting (handempty)
Adding (holding a)

Checking next happening (time 10)
Deleting (clear d)
Deleting (holding a)
Adding (handempty)
Adding (clear a)
Adding (on a d)
Plan executed successfully - checking goal
Plan valid
Final value: 10 

Successful plans:
Value: 10
 <PATH_REMOVED> 10 


plan is valid!!